well-formed formulas

合式公式